Errors of this type include awarding global statements wrongly because there is a flaw in the logic. It is quite easy to get this wrong and difficult to check all combinations so some vigilance is required and errors should be reported to the programmer as early as possible.
